Back Teoremlərin avtomatik sübutu Azerbaijani Automated theorem proving English Demostración automática de teoremas Spanish اثبات قضیه خودکار Persian Démonstration automatique de théorèmes French Թեորեմների ավտոմատացված ապացուցում Armenian Dimostrazione automatica di teoremi Italian 自動定理証明 Japanese 자동 정리 증명 Korean Automatyczne dowodzenie twierdzeń Polish
Teoremen frogapen automatikoa (ingelesez Authomathed theorem proving edo ATP) arrazonamendu automatikoaren azpialorra da eta programa informatikoen bidez teorema matematikoak frogatzeaz arduratzen da.